\documentclass[E:/GsjzTle/main/main.tex]{subfiles}

\begin{document}

\begin{itemize}
\item
  当 \(a,p\in \mathbb{Z}\) 且 \(p\) 为质数，且 \(a\not\equiv 0\pmod{p}\)
  时有：
\item
  \(a^{p-1}\equiv 1\pmod{p}\)
\item
  所以 \(a^b\equiv a^{b\bmod (p-1)}\pmod p\)
\end{itemize}

\end{document}
